Algebraic Relations among Solutions of Linear Differential Equations

Using power series methods, Harris and Sibuya [3, 4] recently showed that if A: is an ordinary differential field of characteristic zero and y 5¿ 0 is an element of a differential extension of fc such that y and l/y satisfy linear differential equations with coefficients in fc, then y'¡y is algebraic over fc. Using differential galois theory, we generalize this and characterize those polynomial relations among solutions of linear differential equations that force these solutions to have algebraic logarithmic derivatives. We also show that if / is an algebraic function of genus > 1 and if y and f(y) or y and e¡ v satisfy linear differential equations, then y is an algebraic function.